quantificational logic translations